9

A Gentzen-style axiomatization for basic predicate calculus

Year:
2003
Language:
english
File:
PDF, 176 KB
english, 2003
12

Gentzen-Style Axiomatizations for Some Conservative Extensions of Basic Propositional Logic

Year:
2001
Language:
english
File:
PDF, 231 KB
english, 2001
16

Combinatorial Unprovability Proofs and Their Model-Theoretic Counterparts

Year:
2014
Language:
english
File:
PDF, 307 KB
english, 2014